Feeds to Scour
SubscribedAll
Scoured 9569 posts in 943.7 ms
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
✅Formal Methods
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·5h·
Discuss: DEV
🔗Concatenative Programming
Preview
Report Post
We Lost the Thread on the Data Lake
blog.matterbeam.com·1h·
Discuss: Hacker News
💿ZFS Archaeology
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
⬆️Lambda Lifting
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
💧Liquidhaskell
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
💧Liquid Types
Preview
Report Post
Transaction Management: Making ACID Real
dev.to·6h·
Discuss: DEV
📝Database WAL
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
Looking for a Bulletproof Photo Backup Strategy (Unraid → Unraid? 3‑2‑1 Rule?)
reddit.com·19h·
Discuss: r/homelab
💿Backup Strategies
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
🤝Paxos Consensus
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·16h·
Discuss: r/compsci
📥Feed Aggregation
Preview
Report Post
Zen-GC – policy-driven K8s garbage collection for automated cleanup
github.com·8h·
Discuss: Hacker News
📦Container Security
Preview
Report Post
I'm looking for high-level evaluations for a private and unique heuristic logic engine.
reddit.com·1d·
Discuss: r/LLM
🔮Proof Search
Preview
Report Post
git rebase (Al Viro; Linus Torvalds; Theodore Tso)
yarchive.net·1d
🌳Git Internals
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
My First Step into Security: Building a Zero-Knowledge Vault
blog.thnkandgrow.com·1d
🔐Archive Encryption
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·4h·
Discuss: DEV
📝Text Parsing
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.com·1d
📏Linear Logic
Preview
Report Post
The Case for Snake Case: A Kolmogorov Complexity Argument
modulovalue.com·1d·
Discuss: Hacker News
λLambda Encodings
Preview
Report Post